1. ......................
پدیدآورنده : ISILC Proof Theory Symposium, University of Kiel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Proof theory,Bibliography ، Schutte, Kurt
رده :
QA
3
.
L28
no
.
500
2. <A> Framework for Priority Arguments
پدیدآورنده : / Manuel Lerman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
3. A bridge to advanced mathematics
پدیدآورنده : Sentilles, Dennis
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory,، Arithmetic-- Foundations
رده :
QA
9
.
S44
4. A framework for priority arguments
پدیدآورنده : Lerman, Manuel, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
34
5. A middle way to God
پدیدآورنده : Hallett, Garth
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : Proof ، God,، Theism,، Other minds )Theory of knowledge(
رده :
BT
102
.
H336
2003
6. A middle way to God
پدیدآورنده : Garth L. Hallett
کتابخانه: كتابخانه وزارت امور خارجه (تهران)
موضوع : God- Proof,Other minds (Theory of knowledge)
7. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
8. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
9. Advances in Proof Theory
پدیدآورنده : \ Reinhard Kahle, Thomas Strahm, Thomas Studer Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory -- Congresses.
رده :
E-Book
,
10. Advances in proof theory
پدیدآورنده : Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Proof theory
رده :
QA
9
.
54
.
A39
11. An accompaniment to higher mathematics
پدیدآورنده : Exner, George R.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
E96
12. An accompaniment to higher mathematics
پدیدآورنده : Exner, George R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
E96
1996
13. An introduction to mathematical reasoning: lectures on numbers, sets, and functions
پدیدآورنده : Eccles, Peter J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
E23
1997
14. An introduction to mathematical reasoning: numbers, sets and functions
پدیدآورنده : Eccles, Peter J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
E23
1997
15. An introduction to mathematical reasoning : numbers, sets and functions
پدیدآورنده : Eccles, Peter J., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
E22
16. Analysis: An introduction to proof
پدیدآورنده : Steven R. Lay
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Mathematical analysis,Proof theory
رده :
QA
,
300
,.
L427
17. Analysis:an introduction to proof
پدیدآورنده : LAY,STEVEN R
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MATHEMATICAL ANALYSIS , PROOF THEORY
رده :
QA
300
.
L427
18. Analysis: an introduction to proof
پدیدآورنده : Lay, Steven R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematical analysis,، Proof theory
رده :
QA
300
.
L427
1986
19. Analysis with an introduction to proof
پدیدآورنده : Steven R. Lay
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Mathematical analysis,Proof theory
20. Applied proof theory: proof interpretations and their use in mathematics
پدیدآورنده : Kohlenbach, U. )Ulrich(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Proof theory,، Approximation theory,، Nonlinear operators,، Automatic theorem proving
رده :
QA
9
.
54
.
K64
2008